perm filename CATG[VLI,LSP] blob sn#381956 filedate 1978-09-08 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	X <-(P)- X x Y -(Q)-> Y
C00003 ENDMK
C⊗;
X <-(P)- X x Y -(Q)-> Y
↑          ↑          ↑
(F)       (H)        (G)
|          |          |
\          |         /
 \         |        /




X <-(P)- X x Y -(Q)-> Y
↑          ↑          ↑
 \         |         /
  \        |        /
  (F)     (H)     (G)        [F , G] = [P o H , Q o H]
    \      |     /
     \     |    /
      \    |   /
       \   |  /
        \  | /
         \ |/
           Z




([->]+[->])->[->->]